How did the Pythagorean theorem get proved